To-yat Cheung,: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Newton's method for nonlinear ordinary and partial differential equations

Journal:

Journal of Mathematical Analysis and Applications

Year:

1979

Language:

english

File:

PDF, 592 KB

english, 1979

2

A timed workflow process model

Hai Zhuge, To-yat Cheung, Hung-keng Pung

Journal:

Journal of Systems and Software

Year:

2001

Language:

english

File:

PDF, 255 KB

english, 2001

3

Graph Traversal Techniques and the Maximum Flow Problem in Distributed Computation

Journal:

IEEE Transactions on Software Engineering

Year:

1983

Language:

english

File:

PDF, 4.26 MB

english, 1983

4

A Note on Minimum Cost Networks with Nonlinear Costs

Cheung, To-Yat, Soukup, Jiri

Journal:

SIAM Journal on Applied Mathematics

Year:

1978

Language:

english

File:

PDF, 154 KB

english, 1978

5

A Note on Minimum Cost Networks with Nonlinear Costs

To-Yat Cheung and Jiri Soukup

Journal:

SIAM Journal on Applied Mathematics

Year:

1978

Language:

english

File:

PDF, 223 KB

english, 1978

6

Approximation Algorithms for Directed Steiner Problems

Moses Charikar, Chandra Chekuri, To-yat Cheung, Zuo Dai, Ashish Goel, Sudipto Guha, Ming Li

Journal:

Journal of Algorithms

Year:

1999

Language:

english

File:

PDF, 181 KB

english, 1999

7

A functional network model for analytical file management in ISDN systems from generalization of videotex systems

To-Yat Cheung, Mike Sablatash

Journal:

Computer Networks and ISDN Systems

Year:

1989

Language:

english

File:

PDF, 900 KB

english, 1989

8

Recognizing different types of beta-cycles in a database scheme

To-Yat Cheung, Yunzhou Zhu

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 1.15 MB

english, 1991

9

Approximate solutions and error bounds for quasilinear elliptic boundary value problems

Journal:

Journal of Computer and System Sciences

Year:

1973

Language:

english

File:

PDF, 556 KB

english, 1973

10

Petri nets for protocol engineering

Journal:

Computer Communications

Year:

1996

Language:

english

File:

PDF, 1.05 MB

english, 1996

11

On liveness and boundedness of asymmetric choice nets

Li Jiao, To-Yat Cheung, Weiming Lu

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 444 KB

english, 2004

12

Efficient approaches for constructing a massively parallel processing system

Huiwei Guan, To-Yat Cheung

Journal:

Journal of Systems Architecture

Year:

2000

Language:

english

File:

PDF, 401 KB

english, 2000

13

An algorithm with decentralized control for sorting files in a network

Journal:

Journal of Parallel and Distributed Computing

Year:

1989

Language:

english

File:

PDF, 910 KB

english, 1989

14

Structure and behavior preservation by Petri-net-based refinements in system design

Hejiao Huang, To-yat Cheung, Wai Ming Mak

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 353 KB

english, 2004

15

A statistical model for estimating the number of records in a relational database

Journal:

Information Processing Letters

Year:

1982

Language:

english

File:

PDF, 539 KB

english, 1982

16

A new distributed breadth-first-search algorithm

Yunzhou Zhu, To-Yat Cheung

Journal:

Information Processing Letters

Year:

1987

Language:

english

File:

PDF, 367 KB

english, 1987

17

A Method for Equijoin Queries in Distributed Relational Databases

Journal:

IEEE Transactions on Computers

Year:

1982

Language:

english

File:

PDF, 2.99 MB

english, 1982

18

Invariant-preserving transformations for the verification of place/transition systems

To-Yat Cheung, Wei Zeng

Journal:

IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans

Year:

1998

Language:

english

File:

PDF, 238 KB

english, 1998

19

Optimal transfer trees and distinguishing trees for testing observable nondeterministic finite-state machines

Fan Zhang, To-yat Cheung

Journal:

IEEE Transactions on Software Engineering

Year:

2003

Language:

english

File:

PDF, 433 KB

english, 2003

20

Three Nonlinear Initial Value Problems of the Hyperbolic Type

Journal:

SIAM Journal on Numerical Analysis

Year:

1977

Language:

english

File:

PDF, 661 KB

english, 1977

21

Quasilinear Parabolic Boundary Value Problems. Approximate Solutions and Error Bounds by Linear Programming

Journal:

SIAM Journal on Numerical Analysis

Year:

1973

Language:

english

File:

PDF, 1.25 MB

english, 1973

22

Approximate Solutions and Error Bounds for Quasi-Linear Hyperbolic Initial Boundary Value Problems

Journal:

SIAM Journal on Numerical Analysis

Year:

1975

Language:

english

File:

PDF, 622 KB

english, 1975

23

[IEEE 1996 IEEE Second International Conference on Algorithms and Architectures for Parallel Processing, ICA/sup 3/PP '96 - Singapore (11-13 June 1996)] Proceedings of 1996 IEEE Second International Conference on Algorithms and Architectures for Parallel Processing, ICA/sup 3/PP '96 - A generalized stochastic Petri net approach for modeling multiprocessor parallel processing systems

Huiwei Guan,, Chi-Kwong Li,, To-Yat Cheung,

Year:

1996

Language:

english

File:

PDF, 625 KB

english, 1996

24

[IEEE Comput. Soc. Press Proceedings. Advances in Parallel and Distributed Computing - Shanghai, China (19-21 March 1997)] Proceedings. Advances in Parallel and Distributed Computing - Parallel design and implementation of SOM neural computing model in PVM environment of a distributed system

Huiwei Guan,, Chi-kwong Li,, To-yat Cheung,, Songnian Yu,

Year:

1997

Language:

english

File:

PDF, 602 KB

english, 1997

25

Quasilinear Parabolic Boundary Value Problems. Approximate Solutions and Error Bounds by Linear Programming

Journal:

SIAM Journal on Numerical Analysis

Year:

1973

Language:

english

File:

PDF, 1.26 MB

english, 1973

26

Approximate Solutions and Error Bounds for Quasi-Linear Hyperbolic Initial Boundary Value Problems

Journal:

SIAM Journal on Numerical Analysis

Year:

1975

Language:

english

File:

PDF, 592 KB

english, 1975

27

Three Nonlinear Initial Value Problems of the Hyperbolic Type

Journal:

SIAM Journal on Numerical Analysis

Year:

1977

Language:

english

File:

PDF, 554 KB

english, 1977

28

Recent Developments in the Numerical Solution of Partial Differential Equations by Linear Programming

Journal:

Year:

1978

Language:

english

File:

PDF, 1.82 MB

english, 1978

29

On the projection method for protocol verification

Journal:

IEEE Transactions on Software Engineering

Year:

1986

Language:

english

File:

PDF, 481 KB

english, 1986

30

[IEEE Comput. Soc Seventh IEEE International Conference on Engineering of Complex Computer Systems - Skovde, Sweden (11-13 June 2001)] Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems - Managing feature interactions in telecommunications systems by temporal colored Petri nets

Yiqin Lu,, Gang Wei,, To-Yat Cheung,

Year:

2001

Language:

english

File:

PDF, 848 KB

english, 2001

31

[IEEE 1996 IEEE Digital Signal Processing Workshop Proceedings - Loen, Norway (1-4 Sept. 1996)] 1996 IEEE Digital Signal Processing Workshop Proceedings - Several practical client/server programming implementations for real-time transmission of image in X window environment

Huiwei Guan,, To-Yat Cheung,, Chi-Kwong Li,

Year:

1996

Language:

english

File:

PDF, 543 KB

english, 1996

32

[IEEE IEEE International Conference on Systems, Man and Cybernetics - Beijing, China (14-17 Oct. 1996)] 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929) - A belief logic system and associative plan method based on goals

Huiwei Guan,, To-yat Cheung,

Year:

1996

Language:

english

File:

PDF, 540 KB

english, 1996

33

[IEEE Comput. Soc. Press Proceedings. Advances in Parallel and Distributed Computing - Shanghai, China (19-21 March 1997)] Proceedings. Advances in Parallel and Distributed Computing - Design and analysis of an efficient algorithm for coordinated checkpointing in distributed systems

Jiannong Cao,, Weijia Jia,, Xiaohua Jia,, To-Yat Cheung,

Year:

1997

Language:

english

File:

PDF, 774 KB

english, 1997

34

[IEEE Third International Conference on Signal Processing (ICSP'96) - Beijing, China (14-18 Oct. 1996)] Proceedings of Third International Conference on Signal Processing (ICSP'96) - Design and implementation of a parallel software for hybrid neural network computation in PVM environment

Huiwei Guan,, Chi-Kwong Li,, To-Yat Cheung,, Songnian Yu,, Weiqin Tong,

Year:

1996

Language:

english

File:

PDF, 365 KB

english, 1996

35

Recent Developments in the Numerical Solution of Partial Differential Equations by Linear Programming

Journal:

Year:

1978

Language:

english

File:

PDF, 2.64 MB

english, 1978

36

[IEEE Proceedings of APCC/OECC'99 - 5th Asia Pacific Conference on Communications/4th Optoelectronics and Communications Conference - Beijing, China (1999.10.18-1999.10.22)] Fifth Asia-Pacific Conference on ... and Fourth Optoelectronics and Communications Conference on Communications, - A Windows-Explorer-like model for workflow specification

To-Yat Cheung,, Lixin Shi,, Xinming Ye,

Year:

1999

Language:

english

File:

PDF, 371 KB

english, 1999

37

[IEEE IN'98. 7th IEEE Intelligent Network Workshop (Cat. No.98TH8364) - Bordeaux, France (10-13 May 1998)] IN'98. 7th IEEE Intelligent Network Workshop Proceedings (Cat. No.98TH8364) - Feature interactions of livelock type in IN: a detailed example

Yiqin Lu,, To-Yat Cheung,

Year:

1998

Language:

english

File:

PDF, 425 KB

english, 1998

38

[IEEE Comput. Soc. Press Software Education Conference (SRIG-ET'94) - Dunedin, New Zealand (22-25 Nov. 1994)] Proceedings Software Education Conference (SRIG-ET'94) - A tool for assessing the quality of distributed software designs

To-yat Cheung,, Shenyu Ren,, Wai Ming Mak,

Year:

1995

Language:

english

File:

PDF, 519 KB

english, 1995

39

COMPOSITIONAL VERIFICATION FOR WORKFLOW NETS

JIAO, LI, CHEUNG, TO-YAT

Journal:

Journal of Circuits System and Computers

Year:

2006

Language:

english

File:

PDF, 297 KB

english, 2006

40

Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties

Jiao, Li, Cheung, To-Yat

Journal:

International Journal of Foundations of Computer Science

Year:

2003

Language:

english

File:

PDF, 1.70 MB

english, 2003

41

PROPERTY-PRESERVING COMPOSITION BY PLACE MERGING

JIAO, LI, HUANG, HEJIAO, CHEUNG, TO-YAT

Journal:

Journal of Circuits System and Computers

Year:

2005

Language:

english

File:

PDF, 317 KB

english, 2005

42

HANDLING RESOURCE SHARING PROBLEM USING PROPERTY-PRESERVING PLACE FUSIONS OF PETRI NETS

JIAO, LI, HUANG, HEJIAO, CHEUNG, TO-YAT

Journal:

Journal of Circuits System and Computers

Year:

2008

Language:

english

File:

PDF, 343 KB

english, 2008

43

Estimating block accesses and number of records in file management

Journal:

Communications of the ACM

Year:

1982

Language:

english

File:

PDF, 2.86 MB

english, 1982

44

An interactive graphic display for region partitioning by linear programming

Journal:

Communications of the ACM

Year:

1974

Language:

english

File:

PDF, 2.47 MB

english, 1974

45

Computational Comparison of Eight Methods for the Maximum Network Flow Problem

Journal:

ACM Transactions on Mathematical Software

Year:

1980

Language:

english

File:

PDF, 950 KB

english, 1980

46

Algorithm 558: A Program for the Multifacility Location Problem with Rectilinear Distance by the Minimum-Cut Approach [H]

Journal:

ACM Transactions on Mathematical Software

Year:

1980

Language:

english

File:

PDF, 113 KB

english, 1980

47

Multifacility Location Problem with Rectilinear Distance by the Minimum-Cut Approach

Journal:

ACM Transactions on Mathematical Software

Year:

1980

Language:

english

File:

PDF, 218 KB

english, 1980

48

Property-Preserving Petri Net Process Algebra in Software Engineering || Petri Net Processes and Extension Operators

Huang, Hejiao, Jiao, Li, Cheung, To-Yat, Mak, Wai Ming

Year:

2012

Language:

english

File:

PDF, 366 KB

english, 2012

49

Property-Preserving Petri Net Process Algebra in Software Engineering || Fundamentals on PPPA and Related Work

Huang, Hejiao, Jiao, Li, Cheung, To-Yat, Mak, Wai Ming

Year:

2012

Language:

english

File:

PDF, 202 KB

english, 2012

50

Property-Preserving Petri Net Process Algebra in Software Engineering || Application of PPPA to Multi-Agent System Design

Huang, Hejiao, Jiao, Li, Cheung, To-Yat, Mak, Wai Ming

Year:

2012

Language:

english

File:

PDF, 408 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски